1. A guide to the classification theorem for compact surfaces
پدیدآورنده : Jean Gallier, Dianna Xu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Topological algebras
رده :
QA565
.
G384
2013
2. Discrete Mathematics
پدیدآورنده : / Jean Gallier
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
3. Discrete mathematics
پدیدآورنده : Gallier, Jean H., Jean Gallier
موضوع : ، Mathematics,، Computer vision,، Number theory,، Engineering design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Discrete mathematics
پدیدآورنده : / Jean Gallier (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ENGINEERING, INDUSTRIAL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
5. Discrete mathematics
پدیدآورنده : Gallier, Jean H.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics,، Computer vision,، Number theory,، Engineering design
رده :
QA
76
.
9
.
M35G25
6. Geometric Methods and Applications
پدیدآورنده : / Jean Gallier
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)|ROBOTICS&COMPUTER SCIENCE
رده :
E-BOOK
7. Geometric methods and applications
پدیدآورنده : \ Jean Gallier
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Geometry, Textbooks,هندسه، کتاب های درسی
رده :
QA445
.
G345
2011
E-Book
,
8. Geometric methods and applications
پدیدآورنده : / Jean Gallier
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Textbooks
رده :
E-BOOK
9. Geometric methods and applications
پدیدآورنده : / Jean Gallier
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Geometry
رده :
QA445
.
G345
2001
10. Geometric methods and applications
پدیدآورنده : Jean Gallier
موضوع : Geometry, Textbooks
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Geometric methods and applications
پدیدآورنده : / Jean Gallier
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry
رده :
QA445
.
G345
2001
12. Geometric methods and applications:for computer science and engineering
پدیدآورنده : Jean Gallier
موضوع : Geometry
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Geometric methods and applications : for computer science and engineering
پدیدآورنده : Gallier, Jean H.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Geometry
رده :
QA
445
.
G25
14. Geometric methods and applications : for computer science and engineering
پدیدآورنده : Gallier, Jean H.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Textbooks ، Geometry
رده :
QA
445
.
G345
2011
15. Logic for computer science:foundations of automatic theorem
پدیدآورنده : GALLIER,JEAN H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
G35
16. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده : Gallier, Jean H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
17. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده : Gallier, Jean H
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
1986
